Search Results
@rae: How whitespace works in Haskell
@rae: Ideas for optimizing Haskell
@rae: RebindableSyntax in Haskell
@rae: How to sneak an access to the type-checker from Template Haskell
@rae: Functional dependency consistency is inconsistent
@rae: Use :type +d to default your types in GHCi
@rae: Introduction to Pattern Synonyms
@rae: Fixing a bug in decomposing equality constraints
@rae: Avoid losing money via -XLinearTypes
@rae: Invisible kinds can prevent type families from reducing
@rae: Fake injective type families are hard to type check
@rae: Existentials and writing functions for length-indexed vectors
